Exécution efficace de programmes ReactiveML

ReactiveML est un langage dédié à la programmation de systèmes combinant des parties algorithmiques et réactives. Il s’agit d’une extension de ML avec des constructions pour la concurrence inspirées des langages synchrones. Celles-ci permettent d’obtenir une très grande expressivité, mais leur implantation efficace représente un défi. Dans cet article, nous présentons l’implantation de ReactiveML, de la compilation à l’implantation du moteur d’exécution en OCaml. Nous décrivons également une implantation parallèle en mémoire partagée du moteur d’exécution utilisant le vol de tâches. L’approche choisie permet d’obtenir une exécution efficace même en présence de structures de contrôle complexes. Elle s’étend simplement au cas parallèle avec des résultats expérimentaux prometteurs.